klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -- -10 .001 10
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -0.1 0.1 2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -f %2.1f 1.5 .5 2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w +1 2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w -.1 .1 .11
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w .1 .1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w .8 1e-2 .81
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w 1 -1 -1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w 1 .5 2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w 12
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w 2000
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc -w 9 0.5 10
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc .8 1e-2 .81
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc 1 -1 3
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc 1 0 -1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc 1 1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc 1 2 21
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify  seq.bc 9223372036854775807 9223372036854775808
